Appraising fairness in languages for distributed programming
نویسندگان
چکیده
منابع مشابه
Fairness for Chorded Languages
Joins or chords is a concurrency construct that seems to fit well with the object oriented paradigm. Chorded languages are presented with implicit assumptions regarding the fair treatment of processes by the scheduler. We define weak and strong fairness for the Small Chorded Object-Oriented Language (SCHOOL) which allows the classification of executions as fair. We investigate the liveness beha...
متن کاملA Hierarchical Method for Reasoning about Distributed Programming Languages
This paper presents a technique for specifying and reasoning about the operational semantics of distributed programming languages. We formalize the concept of \vertical stacking" of distributed systems, an extension of Joyce's, Windley's and Curzon's stacking methodologies for sequential systems and of the CLI \short stack" which stacks interpreters for object code, assembly code, and a high-le...
متن کاملDecidability of fairness for context-free languages
Trajectories are a powerful tool for de ning the parallel composition of words and languages [8]. One can introduce natural fairness conditions for the shu e operation de ned by a trajectory. It is fairly easy to see that the n-fairness property is decidable for a given context-free language and integer n 1 but the decidability of the corresponding uniform fairness problem remained open. Here w...
متن کاملReal-Time Concepts Implemented in Distributed System Programming Languages
The problem of time measuring and managing in distributed systems is important both as an independent problem and for reasons like: the maintenance of the consistency of distributed data, the elimination of duplicated data and the verification of the authenticity of a request. After presenting the main problems that appear during distributed system design and programming, the paper continues wi...
متن کاملHigh stakes testing in higher education and employment: appraising the evidence for validity and fairness.
The authors review criticisms commonly leveled against cognitively loaded tests used for employment and higher education admissions decisions, with a focus on large-scale databases and meta-analytic evidence. They conclude that (a) tests of developed abilities are generally valid for their intended uses in predicting a wide variety of aspects of short-term and long-term academic and job perform...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Distributed Computing
سال: 1988
ISSN: 0178-2770,1432-0452
DOI: 10.1007/bf01872848